Merge branch 'ebassi/howto-docs' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Wed, 27 May 2020 14:10:40 +0000 (14:10 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Wed, 27 May 2020 14:10:40 +0000 (14:10 +0000)
Ebassi/howto docs

See merge request GNOME/gtk!1969


Trivial merge